関数型言語テイスティング: Haskell, Scala, Clojure, Elixirを比べて味わう関数型プログラミングの旨さ

純粋関数を基本要素としてその組み合わせによってプログラムを構成するプログラミングスタイル

言語を問わず実践可能

FP が言語・標準ライブラリレベルで十分に支援される言語

関数型プログラミングスタイルがユビキタスな言語

関数

https://gyazo.com/cdc68b96adf2f5a816348092d74aa8bf

部分式（部分適用）を関数として抽出し、関数を組み合わせて（関数合成）式を構成する

データ

https://gyazo.com/f50648c3e4bf453fbaa8db48b035cf84

FPL では、イミュータブルなデータを関数を介して変換する

また、データ型を定義したり、構築したり、分解することが可能

https://gyazo.com/7e4179890dc0725862653bfe5533b440

純粋関数やイミュータブルなデータを前提とすると、評価の順序やタイミングの自由度が高まる

具体的には遅延評価やメモ化が可能に

（FPL に限った話ではないが）マクロでも評価の制御は可能

https://gyazo.com/f048188ee6db591388b24016886f611c

OOP だと継承による仕組み（サブタイプ多相の一例）が想起される

しかし、FPL ではアドホック多相やパラメータ多相など異なる機構が提供されていることが多い

関数型プログラマのメンタルモデル

https://gyazo.com/d58e76a420d7233ae498834a677f0749

適切な制約は解放をもたらす

引数に対して戻り値を返す以外のことをする関数は信頼できない → 純粋関数

取りうる値が分からないのは不安 → 不正値を表現不能に、より型安全に

単純で安定したブロックをベースに全体を構成したい